Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
281	Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-07 04:43:59 Models of computation Mathematics Automata theory FO Finite model theory
282	INDUCTIVE INFERENCE THEORY — A UNIFIED APPROACH TO PROBLEMS IN PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:28:45 Computability theory Theory of computation Ray Solomonoff Prior probability Inductive inference Computable function Computability Probabilistic automaton Economic model Probability Artificial intelligence Statistics
283	i i “articoli/lettieriParisi” — — 14:54 — page 131 — #131 Add to Reading List Source URL: www.ittig.cnr.it Language: English - Date: 2014-03-07 06:25:51 Scientific modeling Knowledge Ethology Simulation Multi-agent systems Agent-based model Social simulation Generative science Computational model Science Complex systems theory Models of computation
284	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:34:21 Diagrams Design Infographics Models of computation Unified Modeling Language Class diagram UML tool Object-oriented design Entity-relationship model UML diagrams Software engineering Data modeling
285	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
286	Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core Add to Reading List Source URL: bmdfm.com Language: English - Date: 2015-02-13 17:40:59 Computer architecture Parallel computing Models of computation Programming paradigms Computer data Dataflow BMDFM Multi-core processor Oz Computing Concurrent computing Software engineering
287	AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-14 12:47:25 Automata theory Computer science Computability theory Turing machine Finite-state machine Linear bounded automaton Decision problem Theory of computation Theoretical computer science Models of computation
288	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
289	OPTIMIZING COMPUTATIONAL PERFORMANCE FOR REAL-TIME MAPPING WITH AIRBORNE LASER SCANNING P. Schaer, J. Skaloud TOPO Lab, Swiss Federal Institute of Technology Lausanne (EPFL), Station 18, CH-1015 Lausanne, Switzerland (ph Add to Reading List Source URL: www.isprs.org Language: English - Date: 2012-10-18 14:33:28 Technology Principal component analysis Computation Remote sensing Digital elevation model Cloud computing Point cloud Laser scanning Photogrammetry Cartography Geography Statistics

UPDATE